

public class Transition {

	State source;
	State target;
	private Expr cond;
	private Action react;

}